Experiences in Testing Pocket PC Applications

1.1 Remarks on Testing with Software Models Model-based testing (or MBT) techniques are deeply rooted in such fields as phone switches and computer hardware components. However, their value remains vague in the software industry, despite their apparent intuitive appeal. Perhaps this can be attributed to poor understanding of the underlying principles and concepts of testing with models. Conceivably, it can also be attributed to a troublesome paradigm shift from what is widely practiced today. On the other hand, the fact remains that there is an obvious shortage of useful or insightful case studies. Further, there is barely any work that faithfully details the goals, activities, and risks involved to the average test professional who is expected to work with these methods. Indeed, many of these professionals today are oblivious to the very existence of MBT, and, those who are aware of it are, at best, highly doubtful of its value and the kind of returns on investment it presents. Recently, there has been a rise in the number of researchers and testers willing to take the time to investigate the models and methods of the paradigm (El-Far 2001).